$\forall$$g$:GrpSig. $\leq_{b}$ $\in$ $\mid$$g$$\mid\rightarrow\mid$$g$$\mid\rightarrow\mathbb{B}$